Fix version typo in NEWS

3.1.3 news was labelled 3.1.2; fix that post-release to avoid
confusion in the future.

diff --git a/NEWS b/NEWS
index d2a95227235245de5544275537734814f7953f69..30ff574868e4edb75a71d6551e9963e1b66af2d4 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -1,4 +1,4 @@
-3.1.2
+3.1.3
 =====
 * Fix problem with "user theme extension" breaking the CSS for other
   extensions [Giovanni; #650971]
@@ -77,7 +77,6 @@ Translations:
  Matej Urbančič [sl], Krishnababu Krothapalli [te], Daniel Korostil [uk],
  Aron Xu [zh_CN]
 
-
 3.0.2
 =====
 * Network Menu [Dan Williams]